Towards a Logical Reconstruction of CF-Induction
نویسندگان
چکیده
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically explains a set of examples with respect to a prior background theory. Currently, CF-induction computes hypotheses by applying combinations of several complex generalisation operators to an intermediate theory called a bridge formula. In this paper we propose an alternative approach whereby hypotheses are derived from a bridge formula using a single deductive operator and a single inductive operator. We show that our simplified procedure preserves the soundness and completeness of CF-induction.
منابع مشابه
Comparison of Upward and Downward Generalizations in CF-Induction
CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...
متن کاملAn Optimization Model for Financial Resource Allocation Towards Seismic Risk Reduction
This paper presents a study on determining the degree of effectiveness of earthquake risk mitigation measures and how to prioritize such efforts in developing countries. In this paper a model is proposed for optimizing funds allocation towards risk reduction measures (building retrofitting) and reconstruction process after potential earthquakes in a regional level. The proposed model seeks opti...
متن کاملTadeusz Batóg's Phonological Systems
The phonological works of Tadeusz Batóg concern rst of all the logical reconstruction of the concept of the phoneme. It should be stressed at the very beginning that the works in question have established a standard which should be recommended in all attempts at a logical reconstruction of linguistic theories. The Author uses, along with the standard machinery of the classical predicate calculu...
متن کاملExploring Different Oral Corrective Feedback Preferences: Role of Intrapersonal and Interpersonal Intelligences
This study explored corrective feedback (CF) types and their relationship to L2 learners’ intelligence types. Participants were 60 intermediate L2 learners aged 18-29 in Isfahan, Iran. Based on their intelligence types as intrapersonal and interpersonal, the participants were divided into 2 groups. McKenzie’s MI Inventory (1999) and a researcher-designed questionnaire on CF types were employed....
متن کاملTowards a Logical Model of Induction from Examples and Communication
This paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypothesis can be induced from sets of examples, and show its properties. Moreover, we will also consider the problem of communicating inductive inferences between two agents, which cor...
متن کامل